/*
 * data_format.c
 *
 * Funciones auxiliares para formateo de datos
 *
 */

#ifndef DATA_FORMAT_H
#define DATA_FORMAT_H

#include <time.h>
#include "bstring/bstrlib.h"

bstring format_time (time_t t);
/*
 * Devuelve `t' formateado como "ddD hh:mm:ss" donde dd,hh,mm,ss son días,
 * horas, minutos y segundos en t, respectivamente (t es un número entero de
 * segundos).
 *   t: duración a formatear.
 *   Returns: cadena recién alojada con el tiempo representado.
 * Requires: t >= 0
 * Ensures: result != NULL
 */

#endif /* DATA_FORMAT_H */
